Store the bitwise AND of the value of the key-value pair and the specified
number for each map attribute if and only if the \code{checks} hold on the
object.
\input{\topdir/client/fragments/fail_if_not_found}

\input{\topdir/client/fragments/conditional}
